The KB paradigm and its application to interactive configuration

The knowledge base paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a knowledge base to solve various problems and tasks that arise in the domain by applying multiple forms of inference. As such, the paradigm applies a strict separation of concerns between information and problem solving. In this paper, we analyze the principles and feasibility of the knowledge base paradigm in the context of an important class of applications: interactive configuration problems. In interactive configuration problems, a configuration of interrelated objects under constraints is searched, where the system assists the user in reaching an intended configuration. It is widely recognized in industry that good software solutions for these problems are very difficult to develop. We investigate such problems from the perspective of the KB paradigm. We show that multiple functionalities in this domain can be achieved by applying different forms of logical inferences on a formal specification of the configuration domain. We report on a proof of concept of this approach in a real-life application with a banking company. To appear in Theory and Practice of Logic Programming (TPLP).Comment: To appear in Theory and Practice of Logic Programming (TPLP

Probiotic Microbes Sustain Youthful Serum Testosterone Levels and Testicular Size in Aging Mice

The decline of circulating testosterone levels in aging men is associated with adverse health effects. During studies of probiotic bacteria and obesity, we discovered that male mice routinely consuming purified lactic acid bacteria originally isolated from human milk had larger testicles and increased serum testosterone levels compared to their age-matched controls. Further investigation using microscopy-assisted histomorphometry of testicular tissue showed that mice consuming Lactobacillus reuteri in their drinking water had significantly increased seminiferous tubule cross-sectional profiles and increased spermatogenesis and Leydig cell numbers per testis when compared with matched diet counterparts This showed that criteria of gonadal aging were reduced after routinely consuming a purified microbe such as L. reuteri. We tested whether these features typical of sustained reproductive fitness may be due to anti-inflammatory properties of L. reuteri, and found that testicular mass and other indicators typical of old age were similarly restored to youthful levels using systemic administration of antibodies blocking pro-inflammatory cytokine interleukin-17A. This indicated that uncontrolled host inflammatory responses contributed to the testicular atrophy phenotype in aged mice. Reduced circulating testosterone levels have been implicated in many adverse effects; dietary L. reuteri or other probiotic supplementation may provide a viable natural approach to prevention of male hypogonadism, absent the controversy and side-effects of traditional therapies, and yield practical options for management of disorders typically associated with normal aging. These novel findings suggest a potential high impact for microbe therapy in public health by imparting hormonal and gonad features of reproductive fitness typical of much younger healthy individuals.National Institutes of Health (U.S.) (Grant P30-ES002109)National Institutes of Health (U.S.) (Grant U01 CA164337)National Institutes of Health (U.S.) (Grant RO1CA108854

Microbial Reprogramming Inhibits Western Diet-Associated Obesity

A recent epidemiological study showed that eating ‘fast food’ items such as potato chips increased likelihood of obesity, whereas eating yogurt prevented age-associated weight gain in humans. It was demonstrated previously in animal models of obesity that the immune system plays a critical role in this process. Here we examined human subjects and mouse models consuming Westernized ‘fast food’ diet, and found CD4[superscript +] T helper (Th)17-biased immunity and changes in microbial communities and abdominal fat with obesity after eating the Western chow. In striking contrast, eating probiotic yogurt together with Western chow inhibited age-associated weight gain. We went on to test whether a bacteria found in yogurt may serve to lessen fat pathology by using purified Lactobacillus reuteri ATCC 6475 in drinking water. Surprisingly, we discovered that oral L. reuteri therapy alone was sufficient to change the pro-inflammatory immune cell profile and prevent abdominal fat pathology and age-associated weight gain in mice regardless of their baseline diet. These beneficial microbe effects were transferable into naïve recipient animals by purified CD4[superscript +] T cells alone. Specifically, bacterial effects depended upon active immune tolerance by induction of Foxp3[superscript +] regulatory T cells (Treg) and interleukin (Il)-10, without significantly changing the gut microbial ecology or reducing ad libitum caloric intake. Our finding that microbial targeting restored CD4[superscript +] T cell balance and yielded significantly leaner animals regardless of their dietary ‘fast food’ indiscretions suggests population-based approaches for weight management and enhancing public health in industrialized societies.National Institutes of Health (U.S.) (Grant P30-ES002109)National Institutes of Health (U.S.) (Grant RO1CA108854)National Institutes of Health (U.S.) (Grant P01 AI045757)National Institutes of Health (U.S.) (Grant U19 AI046130)National Institutes of Health (U.S.) (Grant U19 AI070352)National Institutes of Health (U.S.) (Grant P01 AI039671)National Institute of Neurological Disorders and Stroke (U.S.) (Jacob Javits Merit Award NS2427)The Penates FoundationNancy Taylor Foundation for Chronic Diseases, Inc

The gut microbiota of Colombians differs from that of Americans, Europeans and Asians

ABSTRACT: The composition of the gut microbiota has recently been associated with health and disease, particularly with obesity. Some studies suggested a higher proportion of Firmicutes and a lower proportion of Bacteroidetes in obese compared to lean people; others found discordant patterns. Most studies, however, focused on Americans or Europeans, giving a limited picture of the gut microbiome. To determine the generality of previous observations and expand our knowledge of the human gut microbiota, it is important to replicate studies in overlooked populations. Thus, we describe here, for the first time, the gut microbiota of Colombian adults via the pyrosequencing of the 16S ribosomal DNA (rDNA), comparing it with results obtained in Americans, Europeans, Japanese and South Koreans, and testing the generality of previous observations concerning changes in Firmicutes and Bacteroidetes with increasing body mass index (BMI). Results: We found that the composition of the gut microbiota of Colombians was significantly different from that of Americans, Europeans and Asians. The geographic origin of the population explained more variance in the composition of this bacterial community than BMI or gender. Concerning changes in Firmicutes and Bacteroidetes with obesity, in Colombians we found a tendency in Firmicutes to diminish with increasing BMI, whereas no change was observed in Bacteroidetes. A similar result was found in Americans. A more detailed inspection of the Colombian dataset revealed that five fiber-degrading bacteria, including Akkermansia, Dialister, Oscillospira, Ruminococcaceae and Clostridiales, became less abundant in obese subjects. Conclusion: We contributed data from unstudied Colombians that showed that the geographic origin of the studied population had a greater impact on the composition of the gut microbiota than BMI or gender. Any strategy aiming to modulate or control obesity via manipulation of this bacterial community should consider this effect

Developing a Declarative Rule Language for Applications in Product Configuration

A rule-based language is proposed for product configuration applications. It is equipped with a declarative semantics providing formal definitions for main concepts in product configuration, including configuration models, requirements and valid configurations. The semantics uses Horn clause derivability to guarantee that each element in a configuration has a justification. This leads to favorable computational properties. For example, the validity of a configuration can be decided in linear time and other computational tasks remain in NP. It is shown that CSP and dynamic CSP can be embedded in the proposed language which seems to be more suitable for representing configuration knowledge. The rule language is closely related to normal logic programs with the stable model semantics. This connection is exploited in the first implementation which is based on a translator from rules to normal programs and on an existing high performance implementation of the stable model semantics, the Smodels system

A dominant negative splice variant of the heparan sulfate biosynthesis enzyme NDST1 reduces heparan sulfate sulfation

Abstract NDST1 (glucosaminyl N-deacetylase/N-sulfotransferase) is a key enzyme in heparan sulfate (HS) biosynthesis, where it is responsible for HS N-deacetylation and N-sulfation. In addition to the full length human enzyme of 882 amino acids, here designated NDST1A, a shorter form containing 825 amino acids (NDST1B) is synthesized after alternative splicing of the NDST1 mRNA. NDST1B is mostly expressed at a low level, but increased amounts are seen in several types of cancer where it is associated with shorter survival. In this study, we aimed at characterizing the enzymatic properties of NDST1B and its effect on HS biosynthesis. Purified recombinant NDST1B lacked both N-deacetylase and N-sulfotransferase activities. Interestingly, HEK293 cells overexpressing NDST1B synthesized HS with reduced sulfation and altered domain structure. Fluorescence resonance energy transfer-microscopy demonstrated that both NDST1A and NDST1B had the capacity to interact with the HS copolymerase subunits EXT1 and EXT2 and also to form NDST1A/NDST1B dimers. Since lysates from cells overexpressing NDST1B contained less NDST enzyme activity than control cells, we suggest that NDST1B works in a dominant negative manner, tentatively by replacing the active endogenous NDST1 in the enzyme complexes taking part in biosynthesis

Switching between Reasoning and Search

The crucial part of uncertain reasoning is not the process of forming a best conclusion from the facts known so far, but rather of knowing where to turn when those facts fall short. When confronted by a paradox such as the Nixon Diamond, or the Yale shooting problem, commonsense dictates that more information is required. We argue that while the concept of minimal knowledge is in some sense fundamental, adherence to it does not reflect the real world in which additional knowledge is always available. That is, knowledge outside the formal theory can always be obtained and brought to bear in decision-making. A question such as the Nixon Diamond has no 'commonsense' solution without appealing to further relevant information. Commonsense logic systems should therefore incorporate techniques which can 'ask for more information'. This paper presents a reasoning architecture which would enable established techniques such as automated deduction to be integrated with search to provide a commons..